A Semantics for Argumentative Systems
نویسندگان
چکیده
Defeasible argumentation is one of the approaches that addresses the challenges arising when we reason defeasibly, with several formalisms in the literature reaching a mature state. Considering that most of these theories eventually shifted their semantics towards dialectical characterizations, we believe that a sufficiently generic model of the process of reasoning in dialectical terms could also serve as an abstract model of what happens inside an argumentative system. To that end, in this article we develop a formal model of dialectical reasoning and explore its role as a potential semantics for argumentation theories.
منابع مشابه
Towards a Semantics for Argumentative Systems∗
Defeasible argumentation is one of the approaches that attempt to address the challenges arising when we reason defeasibly, with several formalisms in the literature reaching a mature state. Nowadays, several of them started shifting their semantics towards a dialectical characterization. Therefore, we believe that a sufficiently generic model of the process of dialectical reasoning could also ...
متن کاملPolyphony and Argumentative Semantics
We extract from sentences a superstructure made of argumentative operators and connectives applying to the remaining set of terminal sub-sentences. We found the argumentative interpretation of utterances on a semantics defined at the linguistic level. We describe the computation of this particular semantics, based on the constraints that the superstructure impels to the argumentative power of t...
متن کاملAn Argumentative Semantics for Paraconsistent Reasoning in Description Logic ALC
It is well known that description logics cannot tolerate the incomplete or inconsistent data. Recently, inconsistency handling in description logics becomes more and more important. In this paper, we present an argumentative semantics for paraconsistent reasoning in inconsistent ontologies. An argumentative framework based on argument trees is provided to model argumentation in description logi...
متن کاملAn Alternative Semantics for Argumentative Systems
Defeasible argumentation is one of the approaches that addresses the challenges arising when we reason defeasibly, with several formalisms in the literature reaching a mature state. Considering that most of these theories eventually shifted their semantics towards dialectical characterizations, we believe that a sufficiently generic model of the process of reasoning in dialectical terms could a...
متن کاملFormal semantics of speech acts for argumentative dialogues
In this paper, we give formal semantics to speech acts for argumentative dialogues in the context of an agent-oriented programming language. Our approach to giving formal semantics to such speech acts uses operational semantics and builds upon existing work that provides computationally grounded semantics for agent mental attitudes such as beliefs and goals.
متن کامل